THE REPRESENTATION OF MANY-ONE DEGREES BY DECISION PROBLEMS OF TURING MACHINESOVERBEEK R.1973; PROC. LONDON MATH. SOC.; G.B.; DA. 1973; VOL. 26; NO 1; PP. 167-183; BIBL. 4 REF.Serial Issue

A THEOREM-PROVING LANGUAGE FOR EXPERIMENTATION.HENSCHEN L; OVERBEEK R; WOS L et al.1974; COMMUNIC. A.C.M.; U.S.A.; DA. 1974; VOL. 17; NO 6; PP. 308-314; BIBL. 6 REF.Article

Proceedings/9th international conference on automated deduction, Argonne, IL, USA, May 23-26, 1988LUSK, E; OVERBEEK, R.Lecture notes in computer science. 1988, Vol 310, issn 0302-9743, X-775 pConference Proceedings

Geometric specification of scheduling constraints: A simplified approach to multiprocessingGLICKFELD, B. W; OVERBEEK, R. A.Parallel computing. 1988, Vol 6, Num 3, pp 325-337, issn 0167-8191Article

Maximum likelihood genetic sequence reconstruction from oligo contentHAGSTROM, J. N; HAGSTROM, R; OVERBEEK, R et al.Networks (New York, NY). 1994, Vol 24, Num 5, pp 297-302, issn 0028-3045Article

The genetic data environment an expandable GUI for multiple sequence analysisSMITH, S. W; OVERBEEK, R; WOESE, C. R et al.Computer applications in the biosciences (Print). 1994, Vol 10, Num 6, pp 671-675, issn 0266-7061Article

Searching for genomic organizational motifs: explorations of the Escherichia coli chromosomeMICHAELS, G. S; TAYLOR, R; HAGSTROM, R et al.Computers & chemistry. 1993, Vol 17, Num 2, pp 209-217, issn 0097-8485Article

Structure detection through automated covariance searchWINKER, S; OVERBEEK, R; WOESE, C. R et al.Computer applications in the biosciences (Print). 1990, Vol 6, Num 4, pp 365-371, issn 0266-7061, 7 p.Article

Towards microbial data integrationLARSEN, N; OVERBEEK, R; PRAMANIK, S et al.Journal of industrial microbiology & biotechnology. 1997, Vol 18, Num 1, pp 68-72, issn 1367-5435Article

The ribosomal database projectLARSEN, N; OLSEN, G. J; MAIDAK, B. L et al.Nucleic acids research. 1993, Vol 21, Num 13, pp 3021-3023, issn 0305-1048Article

The complete genome of the hyperthermophilic bacterium Aquifex aeolicusDECKERT, G; WARREN, P. V; HUBER, R et al.Nature (London). 1998, Vol 392, Num 6674, pp 353-358, issn 0028-0836Article

The complete genome sequence of the hyperthermophilic, sulphate-reducing archaeon archaeoglobus fulgidusKLENK, H.-P; CLAYTON, R. A; RICHARDSON, D. L et al.Nature (London). 1997, Vol 390, Num 6658, pp 364-370, issn 0028-0836Article